/******************************************/
/* DTD Inquisitor 2                       */
/* Copyright: University of Pennsylvania  */
/* Author: Byron Choi                     */
/* Date: 9/2001                           */
/* Contact: kkchoi@gradient.cis.upenn.edu */
/******************************************/
package automata;

public class NegateException extends Exception {

	private static final long serialVersionUID = 1L;

	public NegateException(String message) {
		super(message);
	}
}
